Hybrid logic - PDFSEARCH.IO - Document Search Engine

Hybrid logic
Results: 87

#	Item
21	Noname manuscript No. (will be inserted by the editor) Reichenbach, Prior and Hybrid Tense Logic Patrick Blackburn · Klaus Frovin Jørgensen Add to Reading List Source URL: www.patrickblackburn.org Language: English - Date: 2015-07-16 05:10:53
22	On the Development of a Seligman-Style Tableau System for Hybrid Logic Add to Reading List Source URL: modalityandmodalities.weebly.com Language: English - Date: 2014-06-01 15:42:15
23	A fuzzy hybrid logic and opinion dynamics in social networks Jens Ulrik Hansen Department of Philosophy, Lund University, Sweden Add to Reading List Source URL: modalityandmodalities.weebly.com Language: English - Date: 2014-06-04 10:48:14
24	Hybrid Logic and ‘Now’ (Extended Abstract) Patrick Blackburn and Klaus Frovin Jørgensen Department for Philosophy and Science Studies Roskilde University Add to Reading List Source URL: conference.prior.aau.dk Language: English - Date: 2014-08-18 11:50:06
25	Completeness Results for Memory Logics Carlos Arecesa , Santiago Figueirab,c , Sergio Merab,1 a INRIA Nancy Grand Est, France de Computaci´ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2012-08-27 11:06:28 Philosophical logic Metalogic Non-classical logic Deduction Model theory Hybrid logic Entailment FO Temporal logic Logic Mathematical logic Modal logic
26	The Expressive Power of Memory Logics Carlos Areces Diego Figueira Santiago Figueira Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2011-05-10 14:09:19 Temporal logic Hybrid logic Modal depth Interpretation Artificial neuron Logic Modal logic Epistemic modal logic
27	May 15, 2007 — To be presented at HyLo’07 (Part of ESSLLIDeep Inference for Hybrid Logic Lutz Straßburger INRIA Futurs, Projet Parsifal ´ Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-05-15 05:01:27
28	TABLEAU-BASED DECISION PROCEDURES FOR HYBRID LOGIC ¨ THOMAS BOLANDER AND TORBEN BRAUNER Abstract. Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2006-07-11 04:39:52
29	TERMINATION FOR HYBRID TABLEAUS THOMAS BOLANDER AND PATRICK BLACKBURN Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨ uner [5]. Their paper gives Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2007-04-02 08:29:00 Formal languages Logical syntax Philosophical logic Method of analytic tableaux Interpretation Entailment Modal logic Model theory Symbol Logic Metalogic Propositional calculus
30	Microsoft Word - E13 TH Charles Daubas Incremental change in project.docx Add to Reading List Source URL: europan-europe.eu Language: English - Date: 2015-02-24 08:34:46 Evolutionary biology Abstraction Axiology Logic Hybrid Science Biology Knowledge

UPDATE